Towards Formal but Flexible Scenarios
نویسندگان
چکیده
We argue that the evident utility of scenario-based modeling can be greatly enhanced when enriched with a mathematically precise notion of conditionality and partiality, such as that found in Triggered Message Sequence Charts (TMSCs). Unlike traditional Message Sequence Charts, the TMSC formalism allows scenarios to be conditional and partial, supports logical as well as behavioral operators for scenario composition, and is equipped with a refinement notion drawn from traditional process theory that provides a rigorous basis for stepwise development of specifications. This paper illustrates these points via the Center TRACON Automation System for flight control.
منابع مشابه
Developing Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملFormal Specification of Holonic Control System ADACOR Product Holon, using High-Level Petri Nets
Holonic manufacturing and multi-agent paradigms are suitable to support tbe actual challenges of flexible manufac turing systems, due to their decentralisation, modularity and autonomy features. The formal specification assumes a critical role in order to understand and synthesise those complex systems. The Petri Nets formalism is adequate to model and validate the dynamic behaviour, but presen...
متن کاملMeaning and Form in Event Calculus
This thesis is two fold. The first part deals with an existence proof of a formal algorithm that takes a narrative discourse and returns its semantic representation in the Event Calculus (EC from now on) [19]. This algorithm uses Discourse Representation Theory, and takes on the form of a translation from Discourse Representation Structures to Scenarios and Integrity Constraints in EC. The seco...
متن کاملDriving Non-Functional Requirements to Use Cases and Scenarios
Today, companies are continuously changing and improving their business strategies. As a consequence, stakeholders are demanding more flexible and complex software to be built . To handle this complexity, conceptual models have to describe aspects beyond entities and activities. Recent research has pointed out that dealing with goals in order to capture intentions associated with complex situat...
متن کاملA Formal Semantics for Brahms
The formal analysis of computational processes is by now a wellestablished field. However, in practical scenarios, the problem of how we can formally verify interactions with humans still remains. In this paper we are concerned with addressing this problem. Our overall goal is to provide formal verification techniques for human-agent teamwork, particularly astronaut-robot teamwork on future spa...
متن کامل